(assert (and)
